php program to convert string to integer